Introduction

This page summarizes the trophies won by the tools for ReachabilityMarkingComparison. At this stage, we think this is not possible to provide a global trophy for the MCC @ Petri Net 2013.

Separated trophies for ReachabilityMarkingComparison

We first consider separately the two types of models.

Trophies for the “Known” Models			Trophies for the “Surprise” Models
Sara 71 (points)	LoLA 71 (points)	LoLA optimistic 69 (points)	Sara 12 (points)	Marcie 3 (points)

Global trophies for ReachabilityMarkingComparison

For this trophy, we use the following formula: results on “Known” models + 2 x results on “Surprise” models.

Trophies for All Models
Sara 95 (points)	LoLA 71 (points)	LoLA optimistic 69 (points)